Lifted collocation integrators for direct optimal control in ACADO toolkit
نویسندگان
چکیده
This paper presents a class of efficient Newton-type algorithms for solving the nonlinear programs (NLPs) arising from applying a direct collocation approach to continuous time optimal control. The idea is based on an implicit lifting technique including a condensing and expansion step, such that the structure of each subproblem corresponds to that of the multiple shooting method for direct optimal control. We establish the mathematical equivalence between the Newton iteration based on direct collocation and the proposed approach, and we discuss the computational advantages of a lifted collocation integrator. In addition, we investigate different inexact versions of the proposed scheme and study their convergence and computational properties. The presented algorithms are implemented as part of the open-source ACADO code generation software for embedded optimization. Their performance is illustrated on a benchmark case study of the optimal control for a chain of masses. Based on these results, the use of lifted collocation within direct multiple shooting allows for a computational speedup factor of about 10 compared to a standard collocation integrator and a factor in the range of 10− 50 compared to direct collocation using a general-purpose sparse NLP solver. This research was supported by the EU via ERC-HIGHWIND (259 166), FP7-ITN-TEMPO (607 957), H2020-ITN-AWESCO (642 682), by the DFG in context of the Research Unit FOR 2401 and by the Freiburg Institute for Advanced Studies (FRIAS). R. Quirynen holds a PhD fellowship of the Research Foundation – Flanders (FWO). Rien Quirynen Department ESAT-STADIUS, KU Leuven University, 3001 Leuven, Belgium E-mail: [email protected] Sébastien Gros Department of Signals and Systems, Chalmers University of Technology, Göteborg, Sweden Boris Houska School of Information Science and Technology, ShanghaiTech University, Shanghai, China Moritz Diehl Department IMTEK, University of Freiburg, 79110 Freiburg, Germany 2 Rien Quirynen et al.
منابع مشابه
ACADO toolkit—An open-source framework for automatic control and dynamic optimization
In this paper the software environment and algorithm collection ACADO Toolkit is presented, which implements tools for automatic control and dynamic optimization. It provides a general framework for using a great variety of algorithms for direct optimal control, including model predictive control as well as state and parameter estimation. The ACADO Toolkit is implemented as a self-contained C++...
متن کاملMulti-objective optimal control of chemical processes using ACADO toolkit
Many practical chemical engineering problems involve the determination of optimal trajectories given multiple and conflicting objectives. These conflicting objectives typically give rise to a set of Pareto optimal solutions. To enhance real-time decision making efficient approaches are required for determining the Pareto set in a fast and accurate way. Hereto, the current paper illustrates the ...
متن کاملAn auto-generated real-time iteration algorithm for nonlinear MPC in the microsecond range
In this paper we present an automatic C-code generation strategy for real-time nonlinear model predictive control (NMPC), which is designed for applications with kilohertz sample rates. The corresponding code export module has been implemented within the software package ACADO Toolkit. It is capable of exporting fixed step-size integrators together with their sensitivities as well as a real-tim...
متن کاملSolving infinite horizon optimal control problems of nonlinear interconnected large-scale dynamic systems via a Haar wavelet collocation scheme
We consider an approximation scheme using Haar wavelets for solving a class of infinite horizon optimal control problems (OCP's) of nonlinear interconnected large-scale dynamic systems. A computational method based on Haar wavelets in the time-domain is proposed for solving the optimal control problem. Haar wavelets integral operational matrix and direct collocation method are utilized to find ...
متن کاملTowards a Computer Algebra System with Automatic Differentiation for use with Object-Oriented modelling languages
The Directed Acyclic Graph (DAG), which can be generated by object oriented modelling languages, is often the most natural way of representing and manipulating a dynamic optimization problem. With this representation, it is possible to step-by-step reformulate an (infinite dimensional) dynamic optimization problem into a (finite dimensional) non-linear program (NLP) by parametrizing the state a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Math. Program. Comput.
دوره 9 شماره
صفحات -
تاریخ انتشار 2017